13.7 Clausius' theorem
======================